$d$($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap($d$;IdDeq;$a$;Top)